Undefinability of addition from one unary operator
نویسندگان
چکیده
منابع مشابه
First-Order Queries over One Unary Function
This paper investigates the complexity of query problem for first-order formulas on quasi-unary signatures, that is, on vocabularies made of a single unary function and any number of monadic predicates. We first prove a form of quantifier elimination result: any query defined by a quasi-unary first-order formula can be equivalently defined, up to a suitable linear-time reduction, by a quantifie...
متن کاملOne Operator, One Landscape
The use of the term \landscape" is increasing rapidly in the eld of evolutionary computation, yet in many cases it remains poorly, if at all, deened. This situation has perhaps developed because everyone grasps the imagery immediately, and the questions that would be asked of a less evocative term do not get asked. This paper presents an important consequence of a new model of landscapes. The m...
متن کاملSpectra of Monadic Second-Order Formulas with One Unary Function
We establish the eventual periodicity of the spectrum of any monadic second-order formula where (i) all relation symbols, except equality, are unary, and (ii) there is only one function symbol and that symbol is unary. Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS 2003) Microsoft Research, One Microsoft Way, Redmond, WA 98052 Publication 536, partially supported by US–Isra...
متن کاملSize of Unary One-Way Multi-head Finite Automata
One of the main topics of descriptional complexity is the question of how the size of the description of a formal language varies when being described by different formalisms. A fundamental result is the exponential trade-off between the number of states of nondeterministic (NFA) and deterministic finite automata (DFA) (see, for example, [12]). Additional exponential and double-exponential trad...
متن کاملA Note on the Undefinability of Cuts
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your perso...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Transactions of the American Mathematical Society
سال: 1965
ISSN: 0002-9947
DOI: 10.1090/s0002-9947-1965-0176923-1